максимально непротиворечивый класс

Mathematics: maximal consistent class